  $(OBJDIR)/bitmap.cmi:
